#include <stdio.h>

void main(){
	int a=12345;
	float b=123.45;
	
	printf("a=%d:(float)a=%f\n",a,(float)a);
	printf("b=%f:(double)b=%lf\n",b,(double)b);
}
